Automates Boustrophédon et Mots Infinis
نویسنده
چکیده
Un automate bous t roph6don est un automate fini (non d&erministe) muni d 'une t&e de lecture pouvant se d6placer dans les deux sens. Le compor tement fini d 'un tel au tomate est bien connu: il est identique h celui d 'un automate fini (cf. [5] et [4]). Nous montrons ici qu' i l e n e s t de m~me de son compor tement infini. Dans ce qui suit A d6signe un alphabet fini, A* l 'ensemble des mots finis sur A et A ~' celui des mots infinis. Ces deux ensembles sont munis de leur structure habituelle de semi-groupe (cf. [3]). Si u ¢ A + et L_c A +, on note u '° le mot infini d6fini par u ~' = u u u . . , et L '~ l 'ensemble des mots infinis de la forme ot = U~UEU3.. . avec ui ~ L. Un automate bous t roph6don B = (Q, i, T, F ) sur l 'a lphabet A est constitu6 d 'un ensemble fini d '&ats Q con tenan t un &at initial i et une partie T d'6tats terminaux, et d 'un ensemble de fl~ches F ~ Q x (A u fi~) × Q o6 fi, ={ t i [ a ~ A} est une copie disjointe de A. La lecture du mot fini ou infini a e A ~ = A* u A '° s'effectue selon les transit ions:
منابع مشابه
Frequencies in Forgetful Timed Automata
A quantitative semantics for infinite timed words in timed automata based on the frequency of a run is introduced in [BBBS11]. Unfortunately, most of the results are obtained only for one-clock timed automata because the techniques do not allow to deal with some phenomenon of convergence between clocks. On the other hand, the notion of forgetful cycle is introduced in [BA11], in the context of ...
متن کاملLangages algébriques de mots biinfinis
Les langages rationnels de mots biinfinis ont CtC rkemment dCfinis et CtudiCs dans divers articles [2,3, lo]; ce sont les langages de mots biinfinis qui appartiennent 5 la fermeture rationnelle biinfinie des langages rationnels de mots finis (c’est B dire qui sont union finie de langages de la forme “ABC” oh A, B, C sont des langages rationnels de mots finis). Nous nous proposons dans ce papier...
متن کاملCodes générateurs minimaux de langages de mots bi-infinis
In this paper we give two families of codes which are minimal generators of biinfmite langüages: the family of very thin codes (which contains the rational codes) and another family containing the circular codes. We propose the conjecture that ail codes are minimal generators. Résumé. Dans cet article, nous exhibons deux familles de codes qui sont générateurs minimaux du langage de mots bi-infi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 35 شماره
صفحات -
تاریخ انتشار 1985